a {
  background: -gtk-win32-color(edit, highlight);
}
